T-invariants相关论文
模型因果行为轮廓不仅可用于度量业务模型之间的一致度，还可以监控业务流程的实际执行。针对现有因果行为轮廓获取方法的局限性，提出......
利用Petri网中T不变量的思想,针对约束为T不变量的Parikh向量形式的job-shop调度问题,提出了一种分层控制器的设计算法,该算法有效......
